More from this Author

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

by Simon Collart-Dutilleul (Editor), Thierry Lecomte (Editor), Alexander Romanovsky (Editor)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

by Simon Collart-Dutilleul (Editor), Anne E. Haxthausen (Editor), Thierry Lecomte (Editor)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

by Alessandro Fantechi (Editor), Thierry Lecomte (Editor), Alexander Romanovsky (Editor)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

by Thierry Lecomte (Editor), Ralf Pinger (Editor), Alexander Romanovsky (Editor)

Formal Methods: Foundations and Applications

by Leila Ribeiro (Editor), Thierry Lecomte (Editor)

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

by Thierry Lecomte (Editor), Ralf Pinger (Editor), Alexander Romanovsky (Editor)